exact sequence(数学/代数学、代数拓扑常用):指一串依次连接的映射(通常是群、模、向量空间之间的同态),满足在每个位置上“前一个映射的像 = 后一个映射的核”,用来精确描述结构之间的关系。常见的特例有 short exact sequence(短正合列)。
/ɪɡˈzækt ˈsiːkwəns/
An exact sequence helps us track how algebraic structures fit together.
正合列帮助我们追踪代数结构如何拼接在一起。
Using the long exact sequence in homology, we can compute the homology groups of a space from a pair and the connecting homomorphism.
利用同调中的长正合列,我们可以通过空间对以及连接同态来计算该空间的同调群。
exact 来自拉丁语 exactus,有“精确的、严格的”之意;sequence 来自拉丁语 sequentia,意为“连续的序列”。在数学里,“exact”强调一种严格条件:每一步得到的信息与下一步的“缺口”(核)恰好吻合,因此译作“正合”。